
s3 = (3 + 999) * (1 + (999 - 3) // 3) // 2
s5 = (5 + 1000) * (1 + (1000 - 5) // 5) // 2
s15 = (15 + 990) * (1 + (990 - 15) // 15) // 2


s35 = s3+s5-s15

print(s35)

